Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
321	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
322	Data-Parallel String-Manipulating Programs Margus Veanes Todd Mytkowicz David Molnar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-28 21:15:16 Finite state transducer Mathematical analysis Theoretical computer science Ordinary differential equations Mathematics Classical cipher Obfuscated code Models of computation Spectral theory Automata theory
323	Signal entropy and the thermodynamics of computation by N. Gershenfeld Electronic computers currently have many orders Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Philosophy of thermal and statistical physics State functions Non-equilibrium thermodynamics Models of computation Reversible computing Entropy Information theory Configuration entropy Second law of thermodynamics Thermodynamic entropy Thermodynamics Physics
324	Full reduction in the face of absurdity Gabriel Scherer, Didier R´emy Gallium – INRIA October 28, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 06:28:38 Mathematical logic Computability theory Lambda calculus Proof theory Orbifold Natural deduction Theoretical computer science Models of computation Applied mathematics
325	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
326	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
327	Is Anything Ever New? Considering Emergence James P. Crutchfield SFI WORKING PAPER: Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2013-03-12 16:49:21 Structure Complex systems theory Cybernetics Models of computation Emergence Complexity Randomness Self-organization Dynamical systems theory Science Knowledge Systems
328	International Journal of Theoretical Physics, VoL 21, Nos. 6/7, 1982 Simulating Physics with Computers Richard P. Feynman Department of Physics, California Institute of Technology, Pasadena, CaliforniaReceived Ma Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-09-05 22:45:11 Models of computation Quantum algorithms Interpretations of quantum mechanics Quantum computer Introduction to quantum mechanics De Broglie–Bohm theory Spin Quantum circuit Quantum superposition Physics Quantum mechanics Quantum measurement
329	Petri net semantics Jonathan Mark Hayman University of Cambridge Computer Laboratory Darwin College Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-03-01 09:25:15 Petri net Computer science Petri Semantics Linguistics Science Concurrency Models of computation Diagrams
330	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing

UPDATE